extern signed char var_10;
extern unsigned char var_11;
extern short var_12;
extern signed char var_13;
extern int var_14;
extern unsigned int var_15;
extern unsigned short var_16;
extern unsigned short var_17;
extern unsigned int var_18;
extern int var_19;
extern _Bool var_20;
extern short var_21;
extern __thread unsigned short var_22;
extern unsigned char var_23;
extern signed char var_24;
extern int var_25;
extern __thread long long int var_26;
extern unsigned short var_27;
extern unsigned int var_28;
extern unsigned long long int var_29;
extern _Bool var_30;
extern unsigned short var_31;
extern long long int var_32;
extern int var_33;
extern unsigned long long int var_34;
extern __thread _Bool var_35;
extern _Bool var_36;
extern _Bool var_37;
extern unsigned char var_38;
extern unsigned char var_39;
extern int var_40;
extern short var_41;
extern _Bool var_42;
extern unsigned long long int var_43;
extern unsigned int var_44;
extern unsigned char var_45;
extern unsigned char var_46;
extern unsigned char var_47;
extern long long int var_48;
extern unsigned int var_49;
extern unsigned long long int var_50;
extern unsigned char var_51;
extern unsigned long long int var_52;
extern unsigned char var_53;
extern short var_54;
extern unsigned char var_55;
extern unsigned char var_56;
extern signed char var_57;
extern unsigned int var_58;
extern __thread signed char var_59;
extern unsigned long long int var_60;
extern _Bool arr_13 [14] [14] [19] [17] ;
extern unsigned int arr_14 [14] [14] [19] [17] ;
extern int arr_15 [14] [14] [19] [17] ;
extern unsigned int arr_16 [14] [14] [19] [17] ;
extern unsigned long long int arr_21 [14] [14] [19] [17] [11] ;
extern unsigned long long int arr_22 [14] [14] [19] [17] [11] ;
extern unsigned int arr_27 [14] [14] [19] [17] [19] ;
extern _Bool arr_28 [14] [14] [19] [17] [19] ;
extern int arr_32 [14] [14] [19] [17] [12] ;
extern signed char arr_33 [14] [14] [19] [17] [12] ;
extern unsigned short arr_34 [14] [14] [19] [17] [12] ;
extern unsigned long long int arr_38 [14] [14] [19] ;
extern unsigned int arr_41 [19] ;
extern signed char arr_42 [19] ;
extern signed char arr_50 [19] [15] [24] ;
extern unsigned char arr_54 [19] [15] [24] [23] ;
extern int arr_66 [19] [15] [24] [18] [12] ;
extern _Bool arr_69 [19] [15] [24] [18] [17] ;
extern short arr_70 [19] [15] [24] [18] ;
extern unsigned char arr_87 [19] [15] [10] [12] [22] ;
extern int arr_96 [19] [12] [20] [21] ;
extern long long int arr_97 [19] [12] [20] [21] ;
extern unsigned char arr_101 [19] [12] [16] ;
extern unsigned int arr_107 [19] [12] [16] [15] [25] ;
extern unsigned long long int arr_108 [19] [12] [16] [15] [25] ;
extern long long int arr_109 [19] [12] [16] [15] [25] ;
extern unsigned char arr_110 [19] [12] [16] [15] [25] ;
extern short arr_111 [19] [12] [16] [15] [25] ;
extern unsigned char arr_115 [19] [12] [16] [15] [25] ;
extern unsigned char arr_116 [19] [12] [16] [15] [25] ;
extern long long int arr_120 [19] [12] [16] [15] [16] ;
extern unsigned char arr_121 [19] [12] [16] [15] [16] ;
extern long long int arr_122 [19] [12] [16] [15] [16] ;
extern unsigned short arr_123 [19] [12] [16] [15] [16] ;
extern signed char arr_124 [19] [12] [16] [15] [16] ;
extern unsigned int arr_128 [19] [12] [16] ;
extern short arr_138 [19] [12] [25] [15] [11] ;
extern int arr_139 [19] [12] [25] [15] [11] ;
extern _Bool arr_140 [19] [12] [25] [15] [11] ;
extern int arr_145 [19] [12] [21] ;
extern short arr_146 [19] ;
extern unsigned char arr_151 [10] ;
extern int arr_152 [10] ;
extern unsigned short arr_153 [10] ;
